Towards a New Way of Parameterization

Classical approaches to parameterization in axiomatic speci cation languages require the user to explicitly handle speci cation instantiation. This often makes speci cations less readable and manageable. We therefore present a new parameterization mechanism which allows implicit instantiation. However, since this mechanism is less powerful as the rst one we show how to combine them to achieve both elegance and power. We included both mechanisms in the speci cation language Spectrum.